Injectivity and the Law of Demand

Establishing that a demand mapping is injective core first step for variety of methodologies. When version the law holds, global injectivity can be checked by seeing whether constant over any line segments. we add assumption differentiability, obtain necessary and sufficient conditions generalize classical \cite{gale1965jacobian} quasi-definite Jacobians.